Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
Free, publicly-accessible full text available May 1, 2026
-
Abstract We continue the study of the Galvin property from Benhamou, Garti, and Shelah (2023,Proceedings of the American Mathematical Society151, 1301–1309) and Benhamou (2023,Saturation properties in canonical inner models, submitted). In particular, we deepen the connection between certain diamond-like principles and non-Galvin ultrafilters. We also show that any Dodd sound nonp-point ultrafilter is non-Galvin. We use these ideas to formulate what appears to be the optimal large cardinal hypothesis implying the existence of a non-Galvin ultrafilter, improving on a result from Benhamou and Dobrinen (2023,Journal of Symbolic Logic, 1–34). Finally, we use a strengthening of the Ultrapower Axiom to prove that in all the known canonical inner models, a$$\kappa $$-complete ultrafilter has the Galvin property if and only if it is an iterated sum ofp-points.more » « less
-
This paper explores several topics related to Woodin’s HOD conjecture. We improve the large cardinal hypothesis of Woodin’s HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a strongly compact cardinal and the HOD hypothesis holds, there is no elementary embedding from HOD to HOD, settling a question of Woodin. We show that the HOD hypothesis is equivalent to a uniqueness property of elementary embeddings of levels of the cumulative hierarchy. We prove that the HOD hypothesis holds if and only if every regular cardinal above the first strongly compact cardinal carries an ordinal definable omega Jónsson algebra. We show that if the HOD hypothesis holds and HOD satisfies the Ultrapower Axiom, then every supercompact cardinal is supercompact in HOD.more » « less
-
The Ultrapower Axiom is a combinatorial principle concerning the structure of large cardinals that is true in all known canonical inner models of set theory. A longstanding test question for inner model theory is the equiconsistency of strongly compact and supercompact cardinals. In this paper, it is shown that under the Ultrapower Axiom, the least strongly compact cardinal is supercompact. A number of stronger results are established, setting the stage for a complete analysis of strong compactness and supercompactness under UA that will be carried out in the sequel to this paper.more » « less
An official website of the United States government
